/*****************************************************************************/
/*                                                                           */
/*    Domino Operation System Driver Module                                  */
/*                                                                           */
/*    Copyright (C) 2005 Laszlo Arvai                                        */
/*                                                                           */
/*    ------------------------------------------------------------------     */
/*    drvSystemTimer - System Timer (1ms)  Driver                            */
/*****************************************************************************/

///////////////////////////////////////////////////////////////////////////////
// Includes
#include "krnlTypes.h"
#include <windows.h>

///////////////////////////////////////////////////////////////////////////////
// Init system timer
void krnlInitSystemTimer(void)
{
}

///////////////////////////////////////////////////////////////////////////////
// Get system timer
dosWord krnlGetSystemTimer(void)
{
  return (dosWord)GetTickCount();
}
